Wadler, S.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Programming language foundations in Agda

Kokke, Wen, Siek, Jeremy G., Wadler, Philip

Journal:

Science of Computer Programming

Year:

2020

File:

PDF, 2.49 MB

2020

2

Monads and composable continuations

Journal:

Higher-Order and Symbolic Computation

Year:

1994

Language:

english

File:

PDF, 812 KB

english, 1994

3

How to declare an imperative

Journal:

ACM Computing Surveys

Year:

1997

Language:

english

File:

PDF, 332 KB

english, 1997

4

Propositions as sessions

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 377 KB

english, 2014

5

[ACM Press the third ACM SIGPLAN conference - San Diego, California (2007.06.09-2007.06.10)] Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III - A history of Haskell

Hudak, Paul, Hughes, John, Jones, Simon Peyton, Wadler, Philip

Year:

2007

Language:

english

File:

PDF, 1.10 MB

english, 2007

6

[ACM Press the fourth international conference - Imperial College, London, United Kingdom (1989.09.11-1989.09.13)] Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 - Theorems for free!

Year:

1989

Language:

english

File:

PDF, 1.18 MB

english, 1989

7

Theorems for free for free: parametricity, with and without types

Ahmed, Amal, Jamner, Dustin, Siek, Jeremy G., Wadler, Philip

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 402 KB

english, 2017

8

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Functional Programs as Executable Specifications [and Discussion]

D. A. Turner, J. Fairbairn, D. Park, P. Wadler, B. A. Wichmann and M. H. Rogers

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 3.23 MB

english, 1984

9

2. Die politischen Verbrecher in Rußland.

Journal:

Zeitschrift für die gesamte Strafrechtswissenschaft

Year:

1909

Language:

english

File:

PDF, 6.70 MB

english, 1909

10

Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous

Sam Lindley, Philip Wadler, Jeremy Yallop

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 259 KB

english, 2011

11

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 2562 ||

Dahl, Veronica, Wadler, Philip

Year:

2003

Language:

english

File:

PDF, 4.16 MB

english, 2003

12

The marriage of effects and monads

Wadler, Philip, Thiemann, Peter

Journal:

ACM Transactions on Computational Logic

Year:

2003

Language:

english

File:

PDF, 423 KB

english, 2003

13

35. Erkenntnistheorie und Kriminalstatistik.

Journal:

Zeitschrift für die gesamte Strafrechtswissenschaft

Year:

1911

Language:

english

File:

PDF, 6.61 MB

english, 1911

14

Front-Loaded Versus Weekly Counseling for Treatment of Tobacco Addiction

Garvey, A. J., Kalman, D., Hoskinson, R. A., Kinnunen, T., Wadler, B. M., Thomson, C. C., Rosner, B.

Journal:

Nicotine & Tobacco Research

Year:

2012

Language:

english

File:

PDF, 322 KB

english, 2012

15

Leibniz equality is isomorphic to Martin-LÃ¶f identity, parametrically

ABEL, ANDREAS, COCKX, JESPER, DEVRIESE, DOMINIQUE, TIMANY, AMIN, WADLER, PHILIP

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 195 KB

2020

16

[ACM Press the 14th ACM SIGPLAN conference - Denver, Colorado, United States (1999.11.01-1999.11.05)] Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '99 - Featherwieght Java

Igarashi, Atshushi, Pierce, Benjamin, Wadler, Philip

Year:

1999

Language:

english

File:

PDF, 1.47 MB

english, 1999

17

[ACM Press the 19th ACM SIGPLAN-SIGACT symposium - Albuquerque, New Mexico, United States (1992.01.19-1992.01.22)] Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 - The essence of functional programming

Year:

1992

Language:

english

File:

PDF, 1.10 MB

english, 1992

18

[ACM Press the 1984 ACM Symposium - Austin, Texas, United States (1984.08.06-1984.08.08)] Proceedings of the 1984 ACM Symposium on LISP and functional programming - LFP '84 - Listlessness is better than laziness

Year:

1984

Language:

english

File:

PDF, 527 KB

english, 1984

19

The Status of Doping and Drug Use and the Implications for Boxing

Wadler, Gary I.

Journal:

Clinics in Sports Medicine

Year:

2009

Language:

english

File:

PDF, 106 KB

english, 2009

20

Phase I and II Agents in Cancer Therapy: I. Anthracyclines and Related Compounds

Wadler, Scott, Fuks, Joachim Z., Wiernik, Peter H.

Journal:

Journal of Clinical Pharmacology

Year:

1986

Language:

english

File:

PDF, 3.43 MB

english, 1986

21

Deforestation: transforming programs to eliminate trees

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 2.06 MB

english, 1990

22

Type classes in Haskell

C. V. Hall, K. Hammond, S. L. Peyton Jones, P. L. Wadler

Year:

1996

Language:

english

File:

PDF, 300 KB

english, 1996

23

Comprehending monads

Journal:

Mathematical Structures in Computer Science

Year:

1992

Language:

english

File:

PDF, 4.24 MB

english, 1992

24

Randomized Phase II Trial of Cetuximab, Bevacizumab, and Irinotecan Compared With Cetuximab and Bevacizumab Alone in Irinotecan-Refractory Colorectal Cancer: The BOND-2 Study

Saltz, L. B., Lenz, H.-J., Kindler, H. L., Hochster, H. S., Wadler, S., Hoff, P. M., Kemeny, N. E., Hollywood, E. M., Gonen, M., Quinones, M., Morse, M., Chen, H. X.

Journal:

Journal of Clinical Oncology

Year:

2007

Language:

english

File:

PDF, 111 KB

english, 2007

25

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Pizza into Java

Odersky, Martin, Wadler, Philip

Year:

1997

File:

PDF, 1.09 MB

1997

26

Type systems for object-oriented programming

Journal:

Journal of Functional Programming

Year:

1994

Language:

english

File:

PDF, 61 KB

english, 1994

27

Fixing some space leaks with a garbage collector

Journal:

Software: Practice and Experience

Year:

1987

Language:

english

File:

PDF, 729 KB

english, 1987

28

A simple language is also a functional language

Journal:

Software: Practice and Experience

Year:

1985

Language:

english

File:

PDF, 90 KB

english, 1985

29

2. Die Statistik in Deutschland nach ihrem heutigen Stand. Georg von Mahr zur Feier seines 70. Geburtstages am 12. Februar 1911 als Ehrengabe dargebracht, München 1911.

Journal:

Zeitschrift für die gesamte Strafrechtswissenschaft

Year:

1913

Language:

english

File:

PDF, 3.36 MB

english, 1913

30

A formal semantics of patterns in XSLT and XPath

Journal:

Markup Languages Theory and Practice

Year:

2000

Language:

english

File:

PDF, 442 KB

english, 2000

31

Call-by-value is dual to call-by-name

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 196 KB

english, 2003

32

Featherweight Java: a minimal core calculus for Java and GJ

Igarashi, Atsushi, Pierce, Benjamin C., Wadler, Philip

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2001

Language:

english

File:

PDF, 629 KB

english, 2001

33

Monadic constraint programming

SCHRIJVERS, TOM, STUCKEY, PETER, WADLER, PHILIP

Journal:

Journal of Functional Programming

Year:

2009

Language:

english

File:

PDF, 575 KB

english, 2009

34

Sexual-Orientation Disparities in Cigarette Smoking in a Longitudinal Cohort Study of Adolescents

Corliss, H. L., Wadler, B. M., Jun, H.-J., Rosario, M., Wypij, D., Frazier, A. L., Austin, S. B.

Journal:

Nicotine & Tobacco Research

Year:

2013

Language:

english

File:

PDF, 872 KB

english, 2013

35

The arrow calculus

LINDLEY, SAM, WADLER, PHILIP, YALLOP, JEREMY

Journal:

Journal of Functional Programming

Year:

2010

Language:

english

File:

PDF, 404 KB

english, 2010

36

Maximizing the Independence of Deaf-Blind Teenagers

Venn, J.J., Wadler, F.

Journal:

Journal of Visual Impairment & Blindness

Year:

1990

File:

PDF, 1.07 MB

1990

37

Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus

John Maraist, Martin Odersky, David N. Turner, Philip Wadler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1011 KB

english, 1995

38

Call-by-name, call-by-value, call-by-need and the linear lambda calculus

J. Maraist, M. Odersky, D.N. Turner, P. Wadler

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 206 KB

english, 1999

39

Biologic agents as biochemical modulators: pharmacologic basis for the interaction of cytotoxic chemotherapeutic drugs and interferon

Scott Wadler, Edward L. Schwartz

Journal:

Cancer Chemotherapy and Pharmacology

Year:

1994

Language:

english

File:

PDF, 1.17 MB

english, 1994

40

The call-by-need lambda calculus

MARAIST, JOHN, ODERSKY, MARTIN, WADLER, PHILIP

Journal:

Journal of Functional Programming

Year:

1998

Language:

english

File:

PDF, 431 KB

english, 1998

41

43. Schlußwort zum „Fall Wassermann“.

Journal:

Zeitschrift für die gesamte Strafrechtswissenschaft

Year:

1911

File:

PDF, 881 KB

1911

42

An angry half-dozen

Journal:

ACM SIGPLAN Notices

Year:

1998

Language:

english

File:

PDF, 683 KB

english, 1998

43

Utility of embolization or chemoembolization as second-line treatment in patients with advanced or recurrent colorectal carcinoma

Camillo Porta, Mauro Moroni, Giuseppe Nastasi, Enrico Bobbio-Pallavicini, Giancarlo Barazzoni, Scott Wadler, Curtis W. Bakal, Jacob Cynamon, Peter H. Wiernik

Journal:

Year:

1995

Language:

english

File:

PDF, 344 KB

english, 1995

44

Interferon-mediated fatigue

Ummekalsoom R. Malik, Della F. Makower, Scott Wadler

Journal:

Year:

2001

Language:

english

File:

PDF, 102 KB

english, 2001

45

An ECOG Phase II Study of Amonafide in Unresectable or Recurrent Carcinoma of the Head and Neck (PB390)

Andrea N. Leaf, Donna Neuberg, Edward L. Schwartz, Scott Wadler, Paul S. Ritch, Janice P. Dutcher, George L. Adams

Journal:

Investigational New Drugs

Year:

1997

Language:

english

File:

PDF, 100 KB

english, 1997

46

A Phase II Trial of Daily Perillyl Alcohol in Patients with Advanced Ovarian Cancer: Eastern Cooperative Oncology Group Study E2E96

Howard H. Bailey, Donna Levy, Linda S. Harris, Julian C. Schink, Francine Foss, Peter Beatty, Scott Wadler

Journal:

Gynecologic Oncology

Year:

2002

Language:

english

File:

PDF, 39 KB

english, 2002

47

Interferon-induced acute renal failure: a case report and literature review

R. Horowitz, D. Glicklich, L. B. Sablay, P. H. Wiernik, S. Wadler

Journal:

Medical Oncology

Year:

1995

Language:

english

File:

PDF, 634 KB

english, 1995

48

Advances in the Treatment of Metastatic Colorectal Cancer

Ari D. Fishman, Scott Wadler

Journal:

Clinical Colorectal Cancer

Year:

2001

Language:

english

File:

PDF, 271 KB

english, 2001

49

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Imperative functional programming

Peyton Jones, Simon L., Wadler, Philip

Year:

1993

Language:

english

File:

PDF, 1.30 MB

english, 1993

50

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - A practical theory of language-integrated query

Cheney, James, Lindley, Sam, Wadler, Philip

Year:

2013

Language:

english

File:

PDF, 612 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски